Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.orgยท1dยท
Discuss: Hacker News
๐Ÿ“Document Calculus
The Horton-Strahler number of butterfly trees
arxiv.orgยท1h
๐ŸงฎKolmogorov Bounds
<h2>Resurrected - Two Latin Texts</h2>
naomiceder.techยท4h
๐Ÿ”คFont Archaeology
Planarizing matchings
11011110.github.ioยท1d
๐ŸŽจGraph Coloring
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท20h
๐Ÿ”—Topological Sorting
Folks, we have the best ฯ€
lcamtuf.substack.comยท22hยท
Discuss: Substack
๐Ÿ“Mathematical Art
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.toยท10hยท
Discuss: DEV
๐Ÿ”—Data Provenance
Systematic fraud uncovered in mathematics publications
phys.orgยท12h
๐Ÿ“šArchive Mathematics
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท10hยท
Discuss: Hacker News
ฮปLambda Encodings
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท13h
โœจAlgebraic Effects
A Kevin week
blog.mitrichev.chยท1dยท
Discuss: blog.mitrichev.ch
๐Ÿ“Linear Algebra
Neural cellular automata: applications to biology and beyond classical AI
arxiv.orgยท1h
๐Ÿ”ฒCellular Automata
Challenges You Will Face When Parsing PDFs with Python
theseattledataguy.comยท14hยท
Discuss: Hacker News
๐Ÿ“„PDF Archaeology
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท1dยท
Discuss: Lobsters, Hacker News
๐ŸงฎKolmogorov Complexity
Cognitive and Gestalt psychology in your code: SMVP pattern
github.comยท1dยท
Discuss: Hacker News
โœ…Format Verification
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท1dยท
Discuss: Hacker News, r/programming, r/rust
๐ŸงฎZ3 Solver
From Legal Documents to Knowledge Graphs
neo4j.comยท2dยท
Discuss: Hacker News
๐Ÿ“‹Document Grammar
EMeRALDS: Electronic Medical Record Driven Automated Lung Nodule Detection and Classification in Thoracic CT Images
arxiv.orgยท1h
๐Ÿ“„OCR
Mechanical Proving the Symplecticity of Partitioned Runge--Kutta Methods for Determinate and Stochastic Hamiltonian Systems
arxiv.orgยท1h
๐Ÿ“Linear Algebra
Decoding Musical Origins: Distinguishing Human and AI Composers
arxiv.orgยท1h
๐ŸŽผComputational Musicology